Model Checking Existential Logic on Partially Ordered Sets
نویسندگان
چکیده
منابع مشابه
Tripled partially ordered sets
In this paper, we introduce tripled partially ordered sets and monotone functions on tripled partiallyordered sets. Some basic properties on these new dened sets are studied and some examples forclarifying are given.
متن کاملModel Checking Partially Ordered State Spaces
The state explosion problem is the fundamental limitation of veriication through model checking. In many cases, representing the state space of a system as a lattice is an eeective way of ameliorating this problem. The partial order of the state space lattice represents an information ordering. The paper shows why using a lattice structure is desirable, and why a quaternary temporal logic rathe...
متن کاملPartially Ordered Sets
For example, thus far, I had the fortune to work intimately with nine (9) undergraduate students on research questions in the areas of computational algebra and algebraic geometry. I am directing two master’s students in their research for their theses at Sam Houston State University. All of these undergraduate students have enrolled in graduate programs around the country. Three have finished ...
متن کاملHypergroupoids on Special Partially Ordered Sets
In recitals of this paper there we will be repeated the definitions and main results mentioned 1n [15] without proofs. The definition of the multioperation on partially ordered carrier set in this papers is idempotent, commutative but not associative operation. In the opening part of this article there we repeat fundamental definitions and some theorems without proofs. In the next part of this ...
متن کاملOn Algebras Associated to Partially Ordered Sets
We continue the study [2] on sheaves of rings on finite posets. We present examples where the ring of global sections coincide with toric faces rings, quotients of a polynomial ring by a monomial ideal and algebras with straightening laws. We prove a rank-selection theorem which generalizes the well-known rank-selection theorem of Stanley–Reisner rings. Finally, we determine an explicit present...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Computational Logic
سال: 2016
ISSN: 1529-3785,1557-945X
DOI: 10.1145/2814937